Scenario-based and value-based specification mining: better together
نویسندگان
چکیده
منابع مشابه
Test Scenario Generation Based on Formal Specification and Usage Profile
This paper presents a method for test scenario generation based on formal specifications and usage profiles. It is a major component of a framework for testing object-oriented programs. In this framework, the requirements of a software system are formally specified. The anticipated application of the system is expressed in a usage profile, which is a state model that indicates the dynamic behav...
متن کاملAPRIORI BASED APPROACH for SOFTWARE SPECIFICATION MINING
Software is often built without specificatioon. Specification mining is a machine learning approach for discovering formal specifications of the protocols that code must obey when interacting with an application program interface or abstract data type. There has been much work on reverse engineering or mining software specifications using dynamic analysis techniques; i.e., analysis of software ...
متن کاملMining Universal Specification Based on Probabilistic Model
Class temporal specification is a kind of important program specifications, which specifies that methods of a class should be called in a particular sequence. Dynamic specification mining is a promising approach to achieve this kind of specifications automatically. However, they always infer partial specifications, that is, the mined specifications are biased to input programs or program execut...
متن کاملIntegrating AHP and data mining for effective retailer segmentation based on retailer lifetime value
Data mining techniques have been used widely in the area of customer relationship management (CRM). In this study, we have applied data mining techniques to address a problem in business-to-business (B2B) setting. In a manufacturer-retailer-consumer chain, a manufacturer should improve its relationship with retailers to continue its business. Segmentation is a useful tool for identifying groups...
متن کاملScenario-based Specification of Car-to-X systems
Cyber-physical systems are found in many areas, such as manufacturing, transportation, or smart cities. They consist of many components which cooperate to provide the desired functionality. This need for cooperation causes complex interactions between components, which makes developing a cyber-physical system difficult. To support engineers developing such systems we have created a designand sp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automated Software Engineering
سال: 2012
ISSN: 0928-8910,1573-7535
DOI: 10.1007/s10515-012-0103-x